証明 (Łukasiewicz Propositional logic)